- финитно
- 1. finitary2. finitely
Русско-английский научный словарь.
финитно
Look at other dictionaries:
ФИНИТНО АППРОКСИМИРУЕМАЯ ПОЛУГРУППА — резидуально конечная полугруппа, полугруппа, для любых двух различных элементов аи bк рой существует такой ее гомоморфизм j в конечную полугруппу S, что Свойство полугруппы Sбыть Ф. а. п. эквивалентно тому, что . подпрямое произведение конечных… … Математическая энциклопедия
ФИНИТНО АППРОКСИМИРУЕМАЯ ГРУППА — группа, аппроксимируемая конечными группами. Пусть G группа, отношение (иначе говоря, предикат) между элементами и множествами элементов, определенное на Gи всех ее гомоморфных образах (напр., бинарное отношение равенства элементов, бинарное… … Математическая энциклопедия
ФИНИТИЗМ — (лат. finitus определённый, ограниченный, законченный), методологич. установка в теории доказательств, возникшая в нач. 20 в. в работах Гильберта и его школы с целью обоснования непротиворечивости теоретико множеств. математики. Программа … Философская энциклопедия
КОНЕЧНО ПОРОЖДЕННАЯ ГРУППА — группа G, обладающая конечным порождающим множеством М= {а 1,.... ad}. Состоит из всевозможных произведений где Если Мсодержит dэлементов, то Gназ. d n орожденной. Из любого порождающего множества К. п. г. можно выбрать конечное порождающее… … Математическая энциклопедия
МОДАЛЬНАЯ ЛОГИКА — область логики, в к рой наряду с обычными высказываниями рассматриваются модальные высказывания, т. е. высказывания типа необходимо, что.,. , возможно, что... и т. п. В математич. логике рассматриваются различные формальные системы М. л.,… … Математическая энциклопедия
ПРОМЕЖУТОЧНАЯ ЛОГИКА — высказываний произвольное непротиворечивое множество пропозициональных формул, замкнутое относительно правила вывода модус поненс и правила подстановки и содержащее все аксиомы интуиционистского исчисления высказываний I. Наиболее естественным… … Математическая энциклопедия
АЛГЕБРАИЧЕСКОЙ СИСТЕМЫ АВТОМОРФИЗМ — Ч изоморфное отображение алгебраической системы на себя. Автоморфизмом (А.) системы наз. всякое взаимно однозначное отображение множества Ана себя, обладающее свойствами: для всех . из Аи для всех из . Другими словами, А … Математическая энциклопедия
МЕТАБЕЛЕВА ГРУППА — двуступенно разрешимая группа, т. е. группа, коммутант к рой абелев. Все М. г. образуют многообразие (см. Групп многообразие), определяемое тождеством Особый интерес представляют конечно порожденные М. г. Все они финитно аппроксимируемы (см.… … Математическая энциклопедия
ПОЛУГРУППА — множество с одной бинарной операцией, удовлетворяющей закону ассоциативности. Понятие П. есть обобщение понятия группы:из аксиом группы остается лишь одна ассоциативность; этим объясняется и термин П. . П. называют иногда моноидами, но последний… … Математическая энциклопедия
РАЗРЕШИМАЯ ГРУППА — группа, обладающая конечным субнормальным рядом с абелевыми факторами (см. Подгрупп ряд). Она также обладает нормальным рядом с абелевыми факторами (такие ряды наз. р а зр е ш и м ы м и). Длина кратчайшего разрешимого ряда группы наз. ее д л и н… … Математическая энциклопедия
Меськов, Валерий Сергеевич — (р. 16.10.1947) спец. по логике и методол. науки; д р филос. наук, проф. Окончил филос. ф т МГУ (1970), асп. того же ф та (1973). Работал там же на кафедре логики асс., ст. преп., доц. С декабря 1988 зам. нач. Управления соц. гума нит.… … Большая биографическая энциклопедия
